Resultaten visas 1 - 10 / 811
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Referentgranskad
DOI
10.1007/s10472-005-7034-1
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
Annals of Mathematics and Artificial Intelligence2005Publicationer information ikon

General Fuzzy Rule Base for Isolated Traffic Signal Control Rule Formulation

Referentgranskad
Niittymäki, Jarkko
Transportation Planning and Technology2001Publicationer information ikon

Proof Complexity of Cut-Based Tableaux for Boolean Circuit Satisfiability Checking

Järvisalo, Matti
-2004Publicationer information ikon

Concise and interpretable multi-label rule sets

Referentgranskad
Öppen tillgång
DOI
10.1007/s10115-023-01930-6
Ciaperoni, Martino; Xiao, Han; Gionis, Aristides
Knowledge and Information Systems2023Publicationer information ikon

Stability of Oja's Subspace Rule

Referentgranskad
Karhunen, J.
Neural Computation1994Publicationer information ikon

Economic optimization models for capacity and cut off determination

Referentgranskad
Liimatainen, J.
-1996Publicationer information ikon

One Design Rule to Rule Them All: Towards a Universal Golden Rule for Designers of Human-Technology Interaction

Referentgranskad
Öppen tillgång
DOI
10.7250/csimq.2022-33.01
Rajanen, Mikko
Complex Systems Informatics and Modeling Quarterly2022Publicationer information ikon

Constructive Cut Elimination in Geometric Logic

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.TYPES.2021.7
Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio
Leibniz International Proceedings in Informatics, LIPIcs2022Publicationer information ikon

An optimal cut-off algorithm for parameterised refinement checking

Referentgranskad
Öppen tillgång
DOI
10.1016/j.scico.2020.102517
Siirtola, Antti; Heljanko, Keijo
Science of computer programming2020Publicationer information ikon

Food quality sensor for fresh-cut fruit and fresh fish

Sipiläinen-Malm, Thea
26th IAPRI Symposium on Packaging2013

Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Referentgranskad
DOI
10.1007/s10472-005-7034-1
2005

General Fuzzy Rule Base for Isolated Traffic Signal Control Rule Formulation

Referentgranskad
2001

Proof Complexity of Cut-Based Tableaux for Boolean Circuit Satisfiability Checking

2004

Concise and interpretable multi-label rule sets

Referentgranskad
Öppen tillgång
DOI
10.1007/s10115-023-01930-6
2023

Stability of Oja's Subspace Rule

Referentgranskad
1994

Economic optimization models for capacity and cut off determination

Referentgranskad
1996

One Design Rule to Rule Them All: Towards a Universal Golden Rule for Designers of Human-Technology Interaction

Referentgranskad
Öppen tillgång
DOI
10.7250/csimq.2022-33.01
2022

Constructive Cut Elimination in Geometric Logic

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.TYPES.2021.7
2022

An optimal cut-off algorithm for parameterised refinement checking

Referentgranskad
Öppen tillgång
DOI
10.1016/j.scico.2020.102517
2020

Food quality sensor for fresh-cut fruit and fresh fish

2013